Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin

Source URL: www.eecs.berkeley.edu

Scalable Social Analytics for Live Viral Event Prediction Puneet Jain Duke University Justin Manweiler and Arup Acharya Romit Roy Choudhury IBM T. J. Watson Research

Source URL: synrg.csl.illinois.edu

The Case for a Network Protocol Isolation Layer Jung Il Choi, Maria A. Kazandjieva, Mayank Jain, and Philip Levis Computer Systems Laboratory Stanford University Stanford, CA USA

Source URL: sing.stanford.edu

Demo: Real-time Object Tagging and Retrieval Puneet Jain Romit Roy Choudhury Duke University

Source URL: synrg.csl.illinois.edu

Granting Silence to Avoid Wireless Collisions Jung Il Choi, Mayank Jain, Maria A. Kazandjieva, and Philip Levis Stanford University, Stanford, CA, USA {jungilchoi, mayjain, mariakaz}@stanford.edu, Ab

Source URL: sing.stanford.edu

• Wireless networking
• Computing
• Wireless
• Network architecture
• IEEE 802.11
• Media access control
• Network performance
• Local area networks
• Carrier sense multiple access with collision avoidance
• IEEE 802.11 RTS/CTS
• Hidden node problem
• Throughput

Cost Functions for Scheduling Tasks in Cyber-physical Systems Abhinna Jain, C. M. Krishna, Israel Koren and Zahava Koren Electrical and Computer Engineering, University of Massachusetts, Amherst, MA 01003, U.S.A. {jain,

Source URL: euler.ecs.umass.edu

COMPUTING CONVERSATIONS Anil Jain: 25 Years of Biometric Recognition Charles Severance, University of Michigan

Source URL: lifesciences.ieee.org

Granting Silence to Avoid Wireless Collisions Jung Il Choi, Mayank Jain, Maria A. Kazandjieva, and Philip Levis Stanford University, Stanford, CA, USA {jungilchoi, mayjain, mariakaz}@stanford.edu, Ab

Source URL: sing.stanford.edu

A Wakeup Call for Internet Monitoring Systems: The Case for Distributed Triggers Ankur Jain†,∗ , Joseph M. Hellerstein‡,∗ , Sylvia Ratnasamy∗ , David Wetherall† † University of Washington

Source URL: djw.cs.washington.edu

Effective Solutions for Real-World Stackelberg Games: When Agents Must Deal with Human Uncertainties James Pita, Manish Jain, Fernando Ordóñez, Milind Tambe University of Southern California, Los Angeles, CA 90089

Source URL: teamcore.usc.edu